An Event-Based Programming Model with Geometric Spatial Semantics For Cyber-Physical Production Systems
نویسندگان
چکیده
منابع مشابه
Semantics of Cyber-Physical Systems
The very recent development of Cyber-Physical Systems (CPS) provides a smart infrastructure connecting abstract computational artifacts with the physical world. The solution to CPS must transcend the boundary between the cyber world and the physical world by providing integrated models addressing issues from both worlds simultaneously. This needs new theories, conceptual frameworks and engineer...
متن کاملAn Adaptive Discrete Event Model for Cyber-Physical System
Cyber-Physical Systems (CPS) often involve a wide spectrum of events, ranging from lower-level signals to higherlevel abstract events. In order to compose different levels of events, a Concept Lattice-based Event (CLE) model was developed. In the CLE model, the traditional first order logic is used in specifying rules composition. However, it is possible that the rules specified by the first or...
متن کاملLogic Programming Foundations of Cyber-Physical Systems
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions through actuators. These controllers are discrete digital systems whose inputs are continuous physical quantities and whose outputs control physical (analog) devices. Thus, CPS involve both digital and analog data. In ...
متن کاملCyber - Physical - Production - Systems at the BTU Model Factory
The term 'Industry 4.0' was introduced the first time in Germany at the Hanover fair in 2011 and is a central focus of the Federal Government's Digital Agenda. It is supporting and promoting the digitization of industry and has the potential to bring about profound transformation to efficient factory manufacturing. The implementation strategy forms the basis for all future work. It not only rec...
متن کاملAn Event Based Semantics of P Systems
Membrane systems have many similarities with classical concurrency models. In particular notions like parallelism, causality and concurrency seem to belong to membrane computing, though they are not yet regarded as central or cornerstone notions. Recently the interest in comparing membrane systems and other models for concurrency has grown. In this paper we propose a translation of membrane sys...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Sciences
سال: 2020
ISSN: 2076-3417
DOI: 10.3390/app10217651